type X = {-[k:K]:V}
